Error: (Failure "Error: value b was used before it was defined")
